81. Computer performance engineering :
پدیدآورنده : Nigel Thomas (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
82. Computer performance engineering
پدیدآورنده : / Alessandro Aldini ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses
رده :
QA76
.
9
.
E94E64
2010
83. Computer performance engineering : 14th European Workshop, EPEW 2017 Berlin, Germany, September 7 8, 2017 Proceedings
پدیدآورنده : Philipp Reinecke, Antinisca Di Marco )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Computer systems - Evaluation,Congresses ، Computers - Reliability,Congresses ، Formal methods )Computer science(,Evaluation ، Computer systems,Reliability ، Computers,، Formal methods )Computer science(,، Conference proceedings
رده :
QA
76
.
9
.
E94
E64
2017
84. Computer safety, reliability, and security :
پدیدآورنده : Francesco Flammini, Sandro Bologna, Valeria Vittorini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses,Computers-- Reliability, Congresses
رده :
QA76
.
76
.
R44
I58
2011
85. Computer safety, reliability, and security
پدیدآورنده : Frank Ortmeier, Peter Daniel (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses,Computer software-- Reliability, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
R44
S24
2012eb
86. Computer security :
پدیدآورنده : Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Annie Antón, Stefanos Gritzalis, John Mylopoulos, Christos Kalloniatis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer networks-- Security measures.,Computer security.,Data encryption (Computer science),Data protection.
رده :
QA76
.
9
.
A25
87. Conceptual and Numerical Analysis of Data :
پدیدآورنده : edited by Otto Optiz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Content analysis (Communication) -- Congresses.,Mathematical statistics -- Congresses.,Statistics.
88. Conflict transformation and peacebuilding :
پدیدآورنده : edited by Bruce W. Dayt
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
89. Correct System Design
پدیدآورنده : \ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67C6
2015
E-Book
,
90. Cybernetics and automation control theory methods in intelligent algorithms :
پدیدآورنده : Radek Silhavy, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cybernetics, Congresses.,Information theory, Congresses.,Cybernetics.,Information theory.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
Q300
.
C93
2019
91. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
92. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
93. Descriptional complexity of formal systems :
پدیدآورنده : edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
94. Descriptional complexity of formal systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
95. Descriptional complexity of formal systems :
پدیدآورنده : Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
96. Descriptional complexity of formal systems :
پدیدآورنده : Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
97. Digital forensics and cyber crime
پدیدآورنده : Pavel Gladyshev, Marcus K. Rogers (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer crimes-- Investigation, Congresses,Computer security, Congresses
رده :
HV8079
.
C65
.
I58
2011eb
98. ESEC '89 :
پدیدآورنده : C. Ghezzi, J.A. McDermid (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering-- Congresses.
رده :
QA76
.
758
.
E97
1989
99. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
100. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
رده :
QA76
.
758
